A Programming Perspective of the Membrane Systems
نویسنده
چکیده
We present an operational semantics of the membrane systems, using an appropriate notion of configurations and sets of inference rules corresponding to the three stages of an evolution step in membrane systems: maximal parallel rewriting step, parallel communication of objects through membranes, and parallel membrane dissolving. We define various arithmetical operations over multisets in the framework of membrane systems, indicating their complexity and presenting the membrane systems which implement the arithmetic operations. Finally we discuss and compare various sequential and parallel software simulators of the membrane systems, emphasizing their specific features.
منابع مشابه
Systems Risk Analysis UsingHierarchical Modeling
A fresh look at the system analysis helped us in finding a new way of calculating the risks associated with the system. The author found that, due to the shortcomings of RPN, more researches needed to be done in this area to use RPNs as a new source of information for system risk analysis. It is the purpose of this article to investigate the fundamental concepts of failure modes and effects ana...
متن کاملSimulation of a membrane air separation unit using industrial process simulators
Nowadays, membrane processes are widely used for high purity Nitrogen production. Separation of air by membranes is a flexible process in which the investment and operational costs are lower than for example adsorption or cryogenic processes. Such processes are based on relative permeability of air components which are transported by the pressure difference between two sides of the membrane. M...
متن کاملCarbon membranes for gas separation processes: Recent progress and future perspective
Carbon membrane can be produced using a wide variety of polymer precursor materials via heat treatment process. A general concept route of precursor selection-preparation-modification-performance analysis platform for the carbon membrane has been proposed to promote the development of carbon membrane material for a wide range of application. The current review considers the recent progress of c...
متن کاملAn Interactive Possibilistic Programming Approach to Designing a 3PL Supply Chain Network Under Uncertainty
The design of closed-loop supply chain networks has attracted increasing attention in recent decades with environmental concerns and commercial factors. Due to the rapid growth of knowledge and technology, the complexity of the supply chain operations is increasing daily and organizations are faced with numerous challenges and risks in their management. Most organizations with limited resources...
متن کاملModification of Polymeric Membrane for Energy Generation through Salinity Gradient: A Short Review
Salinity gradient energy (SGE) refers to the energy created from the difference in salt concentration between two streams. There are three types of SGE namely, pressure retarded osmosis (PRO), reverse electrodialysis (RED), and capacitive mixing (CapMix). All these technologies require membrane for the system to be operational. In this short review, the membranes modifications for each principl...
متن کامل